COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	PAPERS, PAMPHLETS ON SHELF left side
C00010 ENDMK
C⊗;
PAPERS, PAMPHLETS ON SHELF left side

Alpert, Jack, FUTURE IMAGING SKILLS AND SUSTAINABLE SOCIETIES

Archer, Rowland F., REPRESENTATION AND ANALYSIS OF REAL-TIME CONTROL
  STRUCTURES.  MIT, Lab for Computer Sciences, September, l980.

Bentley et al, TWO PAPERS ON COMPUTATIONAL GEOMETRY.  C-M U.  March 1980

Berliner, Hans, SOME OBSERVATIONS ON PROBLEM SOLVING.  C-M U.  April l980

Boley, Harold, FIVE VIEWS OF FIT PROGRAMMING.  Fachbereich Informatik

Boyd, David M., LABOR, MATERIALS AND ENERGY PAYBACK FOR ELEVEN ENERGY
  PRODUCTION TECHNOLOGIES.  Mitre Corp., May l980.

Boyer & Moore, A VERIFICATION CONDITION GENERATOR FOR FORTRAN
  SRI, June l980.

Brillhart, John, NOTE ON REPRESENTING A PRIME AS A SUM OF TWO SQUARES

Carlin and Campbell, POLYMORPHISM IN SUBDIVIDED POPULATIONS

Cohen, Donald, KNOWLEDGE BASED THEOREM PROVING AND LEARNING, C-M U. April l980

DATAMATION 100

ENERGY ALTERNATIVES.  Hoover Institution, June l980

Feather, Martin, FORMAL SPECIFICATION OF A REAL SYSTEM.USC/ISI, July l980

Feng Yu-lin, PROGRAMMING LOGIC AND PROGRAM CORRECTNESS PROOF.  Tang student.

Fischer, Meyer, Paterson, LOWER BOUNDS ON LENGTH OF BOOLEAN FORMULAS

Goldin, S. and Thorndyke, P., IMPROVING TEMA PERFORMANCE:  PROCEEDINGS OF THE
  RAMD TEAM PERFORMANCE WORKSHOP.  R-2606-ONR, August 1980.

Goldman and Wile, A DATABASE FOUNDATION FOR PROCESS SPECIFICATIONS

Hayes-Roth,Klahr, & Mostow, KNOWLEDGE ACQUISITION, KNOWLEDGE PROGRAMMING, AND
  KNOWLEDGE REFINEMENT.NSF, May 1980

IBM, SELECTED ABSTRACTS: MATHEMATICSS/COMPUTER SCIENCES, Nov. 1980.

ICASE, Semi-annual Report, 1980

IIASA CONFERENCE '80 REVIEW AND OUTLOOK.  HANDLER

Jackson and Shuet, TIME AND SPACE PROPERTIES OF SOME B-TREE VARIANTS

Jefferson, David, DTYPE REDUCTION AND PROGRAM VERIFICATION. C-M U.  April 1980

Kahneman & Twersky, ON THE PSYCHOLOGY OF PREDICTION. Psychological Review,
  July l973

Kamorowski, H. Jan, QLOG - THE SOFTWARE FOR PROLOG AND LOGIC PROGRAMMING
  Sweden, April l980

Kovsky, Robert, ENGINEER'S GUIDE TO LEGAL MATERIALS
                A DEVICE FOR "DATA STRUCTURES"
                DATA STRUCTURES IN LEGAL MATERIALS, Parts I and II

Kreisel, Georg, NEGLECTED POSSIBILITIES OF PROCESSING ASSERTIONS AND PROOFS
  MECHANICALLY:  CHOICE OF PROBLEMS AND DATA.  1980

Lieberman and Hewitt, A REAL TIME GARBAGE COLLECTOR

Linkoping University, Sweden.  REPORTS PUBLISHED 1976-1980

McCarthy, John, EFFECTIVE INTERACTIVE USE OF LARGE CHARACTER SETS

McCarthy, John, BASIC RESEARCH IN ARTIFICIAL INTELLIGENCE AND FOUNDATIONS
  OF PROGRAMMING.  AIM 337, Stanford, California.  September l980

McDermott, D., NON-MONOTONIC LOGIC II:  NON-MONOTONIC MODAL TTHEORIES
  CSD Yale U., Feb. l980

Miller & Zraket, NEAR-TERM RESPONSE TTO AN OIL CUTOFF: SOLAR AND OTHER

Mitre Corp., ANALYSIS OF NATIONAL ENERGY PLANS.  Nov. l979

Mitre Corp., TOWARD A NATIONAL PLAN FOR THE ACCELERATED COMMERCIALIZATION
  OF SOLAR ENERGY.  JAN. 1980

Nagel, D., SOME CONSIDERATIONS ON EXTRACTING DEFINITIONAL INFORMATION ABOUT RELATION

Newell, Allen, KPHYSICAL SYMBOL SYSTEMS.  C-M U.  March 1980

North Holland computer publications survey, 1980

Oppen, Derek, PRETTY PRINTING

Pavelle & Wester, COMPUTER PROGRAMS FOR RESEARCH IN GRAVITATION AND
  DIFFERENTIAL GEOMETRY.  MIT, Lab for Computer Science, June l980

Roth, Frederick, MATCHING AND ABSTRACTION IN KNOWLEDGE SYSTEMS.  Rand Corp.,
  Jan. 1980

Seaquist, Carl, A SEMANTICS OF SSYNCHRONIZATION.  Lab for CS, MIT.  Setp. l980

Shaw, Mary, THE IMPACT OF ABSTRACTION CONCERNS ON MODERN PROGRAMMING LANGUAGES.
  C-M U., April 1980

Svobodova, Liba, MANAGEMENT OF OBJECT HISTORIES IN THE SWALLOW REPOSITORY.
  MIT, Lab for Computer Science, July, l980.

Sweeney, J.L., ENERGY POLICY ISSUES FOR THE EIGHTIES. Energy Modeling Forum,
  Stanford University, April 1980

Tichy, Walter, SOFTWARE DEVELOPMENT CONTROL BASED ON SYSTEM STRUCTURE DESCRIPTION.
  C-M U.  January 1980

Vauquois, B., ASPECTS OF MECHANICAL TRANSLATION IN 1979.  U. of Grenoble,
  July l979

Walker, Adrian, ON RETRIEVAL FROM A SMALL VERSION OF A LARGE DATA BASE.
  Bell Laboratories.  October 1980.

Weihl, William, INTERPROCEDURAL DATA FLOW ANALYSIS IN THE PRESENCE OF POINTERS....

Wesson, R., F, Hayes-Roth.  NETWORK STRUCTURES FOR DISTRIBUTED SITUATION
  ASSESSMENT.  Report for DARPA.  August 1980

Zraket & Scholl, SOLAR ENERGY SYSTEMS AND RESOURCES. MITRE CORP.